Automated fault localization is an important issue in model validation and verification. It helps the end users in analyzing the origin of failure. In this work, we show the early experiments with probabilistic analysis approaches in fault localization. Inspired by the Kullback-Leibler Divergence from Bayesian probabilistic theory, we propose a suspiciousness factor to compute the fault contribution for the transitions in the reachability graph of model checking, using which to rank the...
Topics: Software Engineering, Computing Research Repository, Learning
Source: http://arxiv.org/abs/1611.05083

John Carter Brown Library - German Collection

355 355

Dissertatio inauguralis. physico medica De methodo vitam longam acquirendi, ejusque causis, : quam auxiliante supremo numine in illustri Academia Fridericiana rectore magnificentissimo, serenissimo principe ac domino, Dn. Philippo Wilhelmo, rpincipe [sic] Borussiae, ducatus Magdeburgici vicario. Praesidio magnifici academiae pro-rectoris Dn. Friderici Hoffmanni, Consil. et archiatri regii Med. et Phil. Nat. Prof. Publ. Ordin. Dn. patroni ac promotoris sui omni observantiae cultu prosequendi pro gradu doctoris obtinendo Add. Febr. MDCCVII. horis ante & pomeridianie

Mar 5, 2014 03/14

by Hoffmann, Friedrich, 1660-1742; Cregut, Johann Daniel

eye 355

favorite 2

comment 0

Place of publication supplied by Wellcome and the NLM online catalogue
Topics: Longevity, Balsam poplar, Ambergris, Medicinal plants, Materia medica, Vegetable, Imprint 1707

Community Texts

677 677

Le Concile de Clermont en 1095 et la première croisade

Mar 31, 2013 03/13

by G.-Régis Crégut (1853-1926)

eye 677

favorite 0

comment 0

Le Concile de Clermont en 1095 et la première croisade par l'abbé G.-Régis Crégut, Clermont-Ferrand, L. Bellet, 1895

MORE RESULTS
Fetching more results

Search

5
RESULTS

Media Type

Year

Topics & Subjects

Collection

Creator

Language

eye 2,683

favorite 1

comment 0

eye 815

favorite 0

comment 0

eye 6

favorite 0

comment 0

eye 355

favorite 2

comment 0

eye 677

favorite 0

comment 0

Search

Filters 5 RESULTS

Media TypeMedia Type

YearYear

Topics & SubjectsTopics & Subjects

CollectionCollection

CreatorCreator

LanguageLanguage

eye 2,683

favorite 1

comment 0

eye 815

favorite 0

comment 0

eye 6

favorite 0

comment 0

eye 355

favorite 2

comment 0

eye 677

favorite 0

comment 0

5
RESULTS

Media Type

Year

Topics & Subjects

Collection

Creator

Language